Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
31	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
32	Process Detector TSMC 28HPM (MR74086) Process Detector with Digital Output and regulator circuit Part Number: Add to Reading List Source URL: www.avant-tek.com Language: English - Date: 2014-07-31 22:34:02 Integrated circuits Detectors Radio electronics Logic families Electronic design Dynamic voltage scaling CMOS
33	Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:04:56 Operations research Mathematical optimization Constraint programming Logic in computer science NP-complete problems Topology Satisfiability modulo theories Dynamic programming Semidefinite programming
34	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
35	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
36	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
37	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
38	Dynamic Logic Prof. P.H. Schmitt Institut f¨ ur Theoretische Informatik Fakult¨ at f¨ Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2009-01-19 22:50:13
39	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic – Add to Reading List Source URL: iltp.de Language: English - Date: 2016-04-26 07:46:57
40	Dynamic Logic Prof. P.H. Schmitt Institut f¨ ur Theoretische Informatik Fakult¨ at f¨ Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-19 22:50:13

UPDATE